Electronic Books

Total Books: 1 - 2 /2
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)

History based access control and secure information flow The spec# programming system Mastering test generation from smart ...

Lire la suite
Developing Ambient Intelligence : Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)

The research papers included in the AmI.d proceedings are devoted to both theoretical and applied research, cover the most ...

Lire la suite
Total Books: 1 - 2 /2